Mathematical proofs - PDFSEARCH.IO - Document Search Engine

Mathematical proofs
Results: 343

#	Item
51	CLASE 2005 Preliminary Version Constructing Induction Rules for Deductive Synthesis Proofs Alan Bundy† 1,2 Lucas Dixon† 3 Jeremy Gow‡ 4 Jacques Fleuriot† 5 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-05-19 12:03:26 Mathematics Mathematical logic Theoretical computer science Computability theory Theory of computation Recursion Type theory Structural induction Mathematical induction Rippling Nqthm Constructible universe
52	Automated Termination Proofs with AProVE? J¨ urgen Giesl, Ren´e Thiemann, Peter Schneider-Kamp, Stephan Falke LuFG Informatik II, RWTH Aachen, Ahornstr. 55, 52074 Aachen, Germany {giesl\|thiemann\|psk}@informatik.rwth-aa Add to Reading List Source URL: www-i2.informatik.rwth-aachen.de Language: English - Date: 2006-07-26 07:36:55 Theoretical computer science Mathematics Mathematical logic Logic in computer science Rewriting Termination analysis International Conference on Rewriting Techniques and Applications Algorithm Dependency graph Path ordering Polynomial
53	Proofs, Pictures, and Euclid John Mumma MayThe prevailing conception of mathematical proof, or at least the conception which has been developed most thoroughly, is logical. A proof, accordingl Add to Reading List Source URL: www.fitelson.org Language: English - Date: 2008-05-21 01:04:29
54	Short Proofs of Two Basic Properties of Central Projections Felix Lazebnik Department of Mathematical Sciences University of Delaware, Newark, DE 19716 Add to Reading List Source URL: www.math.udel.edu Language: English - Date: 2004-01-19 13:57:37
55	Short Proofs of Two Basic Properties of Central Projections Felix Lazebnik Department of Mathematical Sciences University of Delaware, Newark, DE 19716 Add to Reading List Source URL: www.math.udel.edu Language: English - Date: 2004-01-07 21:13:30
56	Software specifications and Mathematical Proofs in Natural Languages Muhammad Humayoun Laboratoire de Mathématiques (LAMA) Université de Savoie Add to Reading List Source URL: www.lama.univ-savoie.fr Language: English - Date: 2008-02-11 04:21:27
57	Mathematical Proofs and Software specifications in Natural Languages Muhammad Humayoun Laboratoire de Mathématiques (LAMA) Université de Savoie Add to Reading List Source URL: www.lama.univ-savoie.fr Language: English - Date: 2008-03-31 07:37:40
58	´ Lecture at Ecole Jeunes Chercheurs en Programmation (EJCPProgramming and Proving: Practice with FoCaLiZe Add to Reading List Source URL: focalize.ensta-paristech.fr Language: English - Date: 2014-10-14 06:07:22 Mathematical logic Mathematical proofs Logical syntax Deduction Proof assistant Natural deduction Coq Theorem Automated proof checking Logic Mathematics Proof theory
59	The quartic equation: alignment with an equivalent tetrahedron 1 RWD Nickalls 2 The Mathematical Gazette (2012); vol. 96 (March, No 535), pp. 49–55 www.nickalls.org/dick/papers/maths/tetrahedron2012.pdf Add to Reading List Source URL: www.nickalls.org Language: English - Date: 2013-01-30 12:49:13 Self-dual polyhedra Tetrahedron Rotation matrix Platonic solid Proofs of trigonometric identities Geometry Trigonometry Deltahedra
60	Name _____________________ Algebraic Atrocities by Susan Margulies Revised by David Pleacher Statement True or False Add to Reading List Source URL: www.pleacher.com Language: English - Date: 2014-10-03 16:26:34 Mathematical analysis Proofs of trigonometric identities Rotation of axes Trigonometry Mathematics Geometry